modal calculus

[数] 模态演算